< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
标签： gt 语言 lt 开发指南
上传时间： 2014-11-29
上传用户：康郎
VHDL硬件描述语言与数字逻辑电路设计
标签： VHDL 硬件描述语言 数字逻辑 电路设计
上传时间： 2013-05-19
上传用户：eeworm
VHDL硬件描述语言 e文 PDF版
标签： VHDL 硬件描述语言
上传时间： 2013-04-15
专辑类----可编程逻辑器件相关专辑 VHDL硬件描述语言-497页-2.3M-e文-PDF版.rar
标签： VHDL 497 2.3 M-e
上传时间： 2013-04-24
上传用户：cy1109
专辑类----可编程逻辑器件相关专辑 VHDL硬件描述语言与数字逻辑电路设计-333页-18.9M.rar
标签： VHDL 18.9 333
上传用户：谁偷了我的麦兜
专辑类-可编程逻辑器件相关专辑-96册-1.77G VHDL硬件描述语言与数字逻辑电路设计-333页-18.9M.pdf
上传时间： 2013-05-25
上传用户：zsjzc
专辑类-可编程逻辑器件相关专辑-96册-1.77G VHDL硬件描述语言-497页-2.3M-e文-PDF版.pdf
上传用户：cath
本书全面的介绍了VHDL硬件描述语言的基本知识和利用VHDL语言进行数字电路系统设计的方法。
上传时间： 2013-07-30
上传用户：long14578
·VHDL硬件描述语言与数字逻辑电路设计
上传用户：李彦东
